<html>
<body>
Converts an invalid character literal that has too many characters
into a string literal.
</body>
</html>
